Compilation pour cibles hétérogènes: automatisation des analyses, transformations et décisions nécessaires
نویسندگان
چکیده
Résumé Les accélérateurs matériels, telles les cartes FPGA ou les cartes graphiques, apportent une alternative ou un complément intéressant aux processeurs multi-cœurs classiques pour de nombreuses applications scientifiques. Il est cependant coûteux et difficile d’y porter des applications existantes ; et les compilateurs standards, traditionnellement portés sur la génération de code pour processeurs séquentiels, ne disposent pas des abstractions nécessaires à la génération automatique et re-ciblable de code pour ces nouvelles cibles. Cet article présente un ensemble de transformations de code de haut niveau reposant sur une abstraction à plusieurs niveaux de l’architecture des accélérateurs actuels et permettant de construire des compilateurs spécifiques à chaque cible en se basant sur une infrastructure commune. Ces transformations ont été utilisées pour construire avec PIPS deux compilateurs complètement automatisés pour un processeur embarqué à base de FPGA et pour GPU NVIDIA avec PAR4ALL.
منابع مشابه
Enrichissement d'ontologies dans le secteur de l'eau douce en environnement Internet distribué et multilingue
Notre travail s’inscrit dans le contexte du projet européen SEMIDE (Système euro méditerranéen d’information sur les savoir-faire dans le domaine de l’eau). Le SEMIDE vise à développer une ontologie spécifique aux connaissances dans le domaine de l’eau. Ce travail s’est basé dans un premier temps sur un thésaurus du domaine de l’eau, or les ressources d’informations ne cessent de s’accroître de...
متن کاملProcessus de traitement de données radar pour la reconnaissance/identification de cibles aériennes
Dans ce papier, nous proposons un processus de traitement permettant l’extraction des connaissances à partir d’un volume important de données pour l’aide à la décision dans un contexte opérationnel de la reconnaissance/identification de cibles radar non-coopératives. Les premiers travaux ont donc consistés à adapter le processus ECD (FIG.1) dans le domaine radar en tenant compte de la nature de...
متن کاملPolyèdres et compilation
Résumé La première utilisation de polyèdres pour résoudre un problème de compilation, la parallélisation automatique de boucles en présence d’appels de procédure, a été décrite et implémenté il y a près de trente ans. Le modèle polyédrique est maintenant reconnu internationalement et est en phase d’intégration dans le compilateur GCC, bien que la complexité exponentielle des algorithmes associé...
متن کاملTypage fort et typage souple des collections topologiques et des transformations
Les collections topologiques permettent de considérer uniformément de nombreuses structures de données dans un langage de programmation et sont manipulées par des fonctions définies par filtrage appelées des transformations. Nous présentons dans cet article deux systèmes de types pour des langages intégrant les collections topologiques et les transformations. Le premier est un système à typage ...
متن کاملConditions d’optimalité du second ordre nécessaires ou suffisantes pour les problèmes de commande optimale avec une contrainte sur l’état et une commande scalaires
Dans cette Note, nous étudions un problème de commande optimale avec une commande scalaire et une contrainte sur l’état scalaire d’ordre quelconque. Les instants de jonction sont supposés en nombre fini. Nous obtenons des conditions d’optimalité du second ordre nécessaires ou suffisantes, qui permettent de caractériser la croissance quadratique. Pour citer cet article : J.F. Bonnans, A. Hermant...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011